退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用单排序变量名称的* -Calculus的形式化一阶汇合证明
机译:使用一类变量名的λ演算的形式化一阶合流证明
机译:关于模态一阶逻辑的两种形式化的证明理论
机译:使用单个排序变量名称的λ-微积分的正式的一阶汇合证明(Barendregt毕竟是正确的......几乎)
机译:信念,名称和表示方式:一阶逻辑形式化。
机译:广义哈密顿实数演算的新证明
机译:使用红外波长可变激光的牙石诊断切碎设备和牙石诊断破碎方式
机译:基于一阶动态滑模变结构的桥吊反摆方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。